Espace normal \((X,\tau)\)
Espace topologique pour lequel deux
Fermés disjoints peuvent être séparés par deux
Ouverts disjoints de \(X\) : $$\forall F_1,F_2\in\tau^C,F_1\cap F_2=\varnothing\implies\Big(\exists O_1,O_2\in\tau,F_1\subset O_2,F_2\subset O_2,O_1\cap O_2=\varnothing\Big)$$
